#include "agrv2k.h"
#include "device/dcd.h"
#include "host/hcd.h"

USB_DataTypeDef usb_data TU_ATTR_ALIGNED(4096) TU_ATTR_SECTION(".noinit");

void USB0_isr(void)
{
#if TUSB_OPT_DEVICE_ENABLED
  if (USB_OtgIsDevice()) {
    dcd_int_handler(0);
  }
#endif
#if TUSB_OPT_HOST_ENABLED
  if (USB_OtgIsHost()) {
    hcd_int_handler(0);
  }
#endif
}
